#!/bin/sh

# tests only runnable with unit resolution

PRI=../../princess

TESTS="PUZ031p1.pri vstte-problem-2-vc.pri"

$PRI "$@" $TESTS
